val($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$val(act($e$))